Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
201	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Elementary mathematics Non-classical logic Formal languages Logic programming Circumscription Well-formed formula Logical connective Function Logic Mathematics Mathematical logic
202	LWB 1.1 Reference Manual February 14, 1997 Contents 1 Introduction Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Propositional calculus Non-classical logic Proof theory Modal logic Epistemology Provable Provability logic Default logic Function Mathematical logic Logic Mathematics
203	Weak Conditional Logics of Normality James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:39:15 Non-classical logic Conditionals Reasoning Default logic Non-monotonic logic Material conditional Inference Entailment Counterfactual conditional Logic Propositional calculus Logical consequence
204	Lecture 3: A Case for the Rational Revisability of Logic. Earlier discussions on rational revisability of logic: Putnam: to understand QM, accept counterinstances to distributive law. In 2-slit experiment, accept that th Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-05-15 07:08:18 Non-classical logic Philosophical logic Philosophy of mathematics Epistemology Mathematical constructivism Quantum logic Intuitionism Law of excluded middle Truth Logic Philosophy Science
205	Lecture 2. What is the Normative Role of Logic? What is the connection between (deductive) logic and rationality? One extreme: Frege. A law of logic is a law of rational thought. Seems problematic, if rational change of Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-05-15 07:08:30 Philosophical logic Branches of philosophy Belief Non-classical logic Epistemology Rationality Modal logic Is–ought problem Reason Philosophy Logic Knowledge
206	Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:38:50 Propositional calculus Boolean algebra Non-classical logic Logic in computer science Cut-elimination theorem Intuitionistic logic Sequent calculus Sequent First-order logic Mathematical logic Logic Proof theory
207	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Boolean algebra Logical connectives Classical logic Well-formed formula Negation Logic Propositional calculus Mathematical logic
208	18 PUZZLES TUESDAY JANUARYHOROSCOPES Add to Reading List Source URL: www.territorystories.nt.gov.au Language: English - Date: 2015-03-04 17:41:34 Logic puzzles Games Cryptic crossword Sudoku Human behavior Word square Classical cipher NP-complete problems Crosswords Leisure
209	PUZZLES 13 THURSDAY JANUARYHOROSCOPES Add to Reading List Source URL: www.territorystories.nt.gov.au Language: English - Date: 2015-03-15 20:38:53 Leisure Games Logic puzzles Cryptic crossword Sudoku Word square Classical cipher NP-complete problems Crosswords Mathematics
210	Semantic image analysis using a symbolic neural architecture Add to Reading List Source URL: www.islab.ntua.gr Language: English - Date: 2014-01-05 10:23:57 Mathematical logic Fuzzy logic Non-classical logic Computational neuroscience Learning Neuro-fuzzy Support vector machine Fuzzy concept Segmentation Logic Science Artificial intelligence

UPDATE